<html>
<head><meta charset="utf-8"><title>planning meeting 2021.02.18 · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html">planning meeting 2021.02.18</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="226829991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226829991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226829991">(Feb 18 2021 at 15:46)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> the meeting will be starting in ~ 14 minutes</p>



<a name="226831460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226831460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226831460">(Feb 18 2021 at 15:55)</a>:</h4>
<p>What's the process /platform for joining?</p>



<a name="226831495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226831495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226831495">(Feb 18 2021 at 15:55)</a>:</h4>
<p>It's just going to be here on Zulip I think</p>



<a name="226831716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226831716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226831716">(Feb 18 2021 at 15:56)</a>:</h4>
<p>yeah, here</p>



<a name="226832097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226832097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226832097">(Feb 18 2021 at 15:58)</a>:</h4>
<p>Ah okay, I was thinking it might be audio/video. <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="226832538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226832538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226832538">(Feb 18 2021 at 16:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span>, let's get this started ...</p>



<a name="226832622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226832622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226832622">(Feb 18 2021 at 16:00)</a>:</h4>
<p>the idea of the meeting is to "plan" a bit the work of the walkthrough section</p>



<a name="226832835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226832835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226832835">(Feb 18 2021 at 16:01)</a>:</h4>
<p>to remember a bit to everyone, the original idea of this section was ...</p>



<a name="226832926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226832926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226832926">(Feb 18 2021 at 16:01)</a>:</h4>
<p>having a chapter that shows a walkthrough of the stages from the compiler's perspective</p>



<a name="226833075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833075">(Feb 18 2021 at 16:02)</a>:</h4>
<p>so maybe having Rust code examples and show what happens to that code in each different stage of the compiler</p>



<a name="226833117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833117">(Feb 18 2021 at 16:02)</a>:</h4>
<p>we've discussed this before a bit, let me find the link</p>



<a name="226833143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833143">(Feb 18 2021 at 16:02)</a>:</h4>
<p>like what's the output of that stage, what's the main structures and how they look like</p>



<a name="226833148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833148">(Feb 18 2021 at 16:02)</a>:</h4>
<p>yeah</p>



<a name="226833172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833172">(Feb 18 2021 at 16:02)</a>:</h4>
<p><a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/let's.20organize.20walkthrough.20section.20work">https://rust-lang.zulipchat.com/#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/let's.20organize.20walkthrough.20section.20work</a> ?</p>



<a name="226833240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833240">(Feb 18 2021 at 16:02)</a>:</h4>
<p>We can talk about this later, but we might want to change the name since IMO it's a bit general</p>



<a name="226833247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833247">(Feb 18 2021 at 16:03)</a>:</h4>
<p>and <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.202020.2E10.2E27/near/214756334">https://rust-lang.zulipchat.com/#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.202020.2E10.2E27/near/214756334</a> too</p>



<a name="226833319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833319">(Feb 18 2021 at 16:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226833240">said</a>:</p>
<blockquote>
<p>We can talk about this later, but we might want to change the name since IMO it's a bit general</p>
</blockquote>
<p>how do you mean?</p>



<a name="226833451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833451">(Feb 18 2021 at 16:03)</a>:</h4>
<p>"walkthrough" sounds to me like a "Getting Started" section (which we have)</p>



<a name="226833486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833486">(Feb 18 2021 at 16:03)</a>:</h4>
<p>Maybe "compiler walkthrough" would be clearer</p>



<a name="226833581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833581">(Feb 18 2021 at 16:04)</a>:</h4>
<p>Because otherwise it could be "walkthrough of contributing" or something</p>



<a name="226833587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833587">(Feb 18 2021 at 16:04)</a>:</h4>
<p>I think we would be good if in this meeting we properly define what we want to accomplish and maybe have a couple of next steps and things that we can start tackling</p>



<a name="226833594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833594">(Feb 18 2021 at 16:04)</a>:</h4>
<p>ah good point - maybe "A tour of the compiler" or something like that</p>



<a name="226833607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833607">(Feb 18 2021 at 16:04)</a>:</h4>
<p>"compilation process walkthrough" I believe more closely represents the goal</p>



<a name="226833686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833686">(Feb 18 2021 at 16:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226833587">said</a>:</p>
<blockquote>
<p>I think we would be good if in this meeting we properly define what we want to accomplish and maybe have a couple of next steps and things that we can start tackling</p>
</blockquote>
<p>someone came up with a diagram of "stages", let me find it</p>



<a name="226833700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833700">(Feb 18 2021 at 16:04)</a>:</h4>
<p>yeah I like compilation process walkthrough</p>



<a name="226833724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833724">(Feb 18 2021 at 16:04)</a>:</h4>
<p>Or something along the lines of "the walking tour of rustdoc"</p>



<a name="226833733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833733">(Feb 18 2021 at 16:04)</a>:</h4>
<p><a href="#narrow/stream/131828-t-compiler/topic/Overview.20diagram">https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Overview.20diagram</a></p>



<a name="226833747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833747">(Feb 18 2021 at 16:04)</a>:</h4>
<p>"Example compilation process"?</p>



<a name="226833774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833774">(Feb 18 2021 at 16:05)</a>:</h4>
<p>let's bikeshed the name later</p>



<a name="226833800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833800">(Feb 18 2021 at 16:05)</a>:</h4>
<p>This might not be possible, but I would love to have a small rust program (maybe just a hello world) where we talk about how its compiled from start to finish</p>



<a name="226833833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833833">(Feb 18 2021 at 16:05)</a>:</h4>
<p>^ yes, exactly</p>



<a name="226833846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833846">(Feb 18 2021 at 16:05)</a>:</h4>
<p>exactly</p>



<a name="226833856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833856">(Feb 18 2021 at 16:05)</a>:</h4>
<p>Yeah, I think that's the idea</p>



<a name="226833869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833869">(Feb 18 2021 at 16:05)</a>:</h4>
<p>I also think that it's hard to do that</p>



<a name="226833876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833876">(Feb 18 2021 at 16:05)</a>:</h4>
<p>but we could try</p>



<a name="226833932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833932">(Feb 18 2021 at 16:05)</a>:</h4>
<p>The nice thing is hello-world in Rust includes macros so we can talk about expansion ^^</p>



<a name="226833938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833938">(Feb 18 2021 at 16:05)</a>:</h4>
<p>I think we could adapt the diagram I linked and show the output of the compiler at each stage</p>



<a name="226833967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833967">(Feb 18 2021 at 16:05)</a>:</h4>
<p>I'm just not sure if hello world really captures all aspects of the compiler, but maybe</p>



<a name="226833994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226833994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226833994">(Feb 18 2021 at 16:06)</a>:</h4>
<p><a href="user_uploads/4715/v8tpIj6bP0te7uXwpaCo48Xv/image.DNXJY0.png">https://rust-lang.zulipchat.com/user_uploads/4715/v8tpIj6bP0te7uXwpaCo48Xv/image.DNXJY0.png</a></p>
<div class="message_inline_image"><a href="user_uploads/4715/v8tpIj6bP0te7uXwpaCo48Xv/image.DNXJY0.png" title="https://rust-lang.zulipchat.com/user_uploads/4715/v8tpIj6bP0te7uXwpaCo48Xv/image.DNXJY0.png"><img src="user_uploads/4715/v8tpIj6bP0te7uXwpaCo48Xv/image.DNXJY0.png"></a></div>



<a name="226834002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834002">(Feb 18 2021 at 16:06)</a>:</h4>
<p>You can't really explain things like e.g. the borrow checker with a hello world I guess</p>



<a name="226834052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834052">(Feb 18 2021 at 16:06)</a>:</h4>
<p>I would guess that a program that shows great stage a doesn't show great stage b</p>



<a name="226834135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834135">(Feb 18 2021 at 16:06)</a>:</h4>
<p>Unless the program is massive :p</p>



<a name="226834146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834146">(Feb 18 2021 at 16:06)</a>:</h4>
<p>Could certainly end up with a collection of very small programs</p>



<a name="226834171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834171">(Feb 18 2021 at 16:06)</a>:</h4>
<p>(Ahem, looking at you rustc!)</p>



<a name="226834199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834199">(Feb 18 2021 at 16:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834002">said</a>:</p>
<blockquote>
<p>You can't really explain things like e.g. the borrow checker with a hello world I guess</p>
</blockquote>
<p>I don't think we should aim to explain all of the borrow checker. I was imagining we only cover the different IRs</p>



<a name="226834278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834278">(Feb 18 2021 at 16:06)</a>:</h4>
<p>like the AST, HIR, MIR, and LLVM IR</p>



<a name="226834295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834295">(Feb 18 2021 at 16:06)</a>:</h4>
<p>and how each gets generated</p>



<a name="226834298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834298">(Feb 18 2021 at 16:06)</a>:</h4>
<p>Frontend, perhspas too</p>



<a name="226834339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834339">(Feb 18 2021 at 16:07)</a>:</h4>
<p>Right. I was wondering how this was different from the "overview" chapter</p>



<a name="226834346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834346">(Feb 18 2021 at 16:07)</a>:</h4>
<p>I think that's covered by the AST</p>



<a name="226834385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834385">(Feb 18 2021 at 16:07)</a>:</h4>
<p>We might want to cover the borrow-checker on something like:</p>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="kd">let</span><span class="w"> </span><span class="k">mut</span><span class="w"> </span><span class="n">v</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="fm">vec!</span><span class="p">[</span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">];</span><span class="w"></span>
<span class="n">v</span><span class="p">.</span><span class="n">push</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span><span class="w"></span>
</code></pre></div>



<a name="226834460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834460">(Feb 18 2021 at 16:07)</a>:</h4>
<p>Covering only the IRs seems good to me</p>



<a name="226834476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834476">(Feb 18 2021 at 16:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834339">said</a>:</p>
<blockquote>
<p>Right. I was wondering how this was different from the "overview" chapter</p>
</blockquote>
<p>It will show the output after each step</p>



<a name="226834491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834491">(Feb 18 2021 at 16:07)</a>:</h4>
<p>and go into a lot more detail</p>



<a name="226834503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834503">(Feb 18 2021 at 16:07)</a>:</h4>
<p>In addition to IRs, we want to show TyCtxt too, right?</p>



<a name="226834507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834507">(Feb 18 2021 at 16:07)</a>:</h4>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">  </span><span class="kd">let</span><span class="w"> </span><span class="n">name</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">std</span>::<span class="n">env</span>::<span class="n">args</span><span class="p">().</span><span class="n">next</span><span class="p">().</span><span class="n">unwrap</span><span class="p">();</span><span class="w"></span>
<span class="w">  </span><span class="fm">println!</span><span class="p">(</span><span class="s">"Hello, {}"</span><span class="p">,</span><span class="w"> </span><span class="n">name</span><span class="p">);</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>



<a name="226834522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834522">(Feb 18 2021 at 16:07)</a>:</h4>
<p>Could think of it as an iteration of the the overview. "Now that we've looked at the overview, lets see in action..."</p>



<a name="226834531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834531">(Feb 18 2021 at 16:08)</a>:</h4>
<p>perhaps a good way to define the goal, shape and contents would be to frame the walkthrough in terms of "what questions do we want to answer?" &amp; "what questions will the reader have?"</p>



<a name="226834546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834546">(Feb 18 2021 at 16:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="224872">rylev</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834507">said</a>:</p>
<blockquote>
<p><div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">  </span><span class="kd">let</span><span class="w"> </span><span class="n">name</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">std</span>::<span class="n">env</span>::<span class="n">args</span><span class="p">().</span><span class="n">next</span><span class="p">().</span><span class="n">unwrap</span><span class="p">();</span><span class="w"></span>
<span class="w">  </span><span class="fm">println!</span><span class="p">(</span><span class="s">"Hello, {}"</span><span class="p">,</span><span class="w"> </span><span class="n">name</span><span class="p">);</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div><br>
</p>
</blockquote>
<p>Hmm, that looks interesting</p>



<a name="226834578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834578">(Feb 18 2021 at 16:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834385">said</a>:</p>
<blockquote>
<p>We might want to cover the borrow-checker on something like:</p>
<p><div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="kd">let</span><span class="w"> </span><span class="k">mut</span><span class="w"> </span><span class="n">v</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="fm">vec!</span><span class="p">[</span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="mi">2</span><span class="p">,</span><span class="w"> </span><span class="mi">3</span><span class="p">];</span><span class="w"></span>
<span class="n">v</span><span class="p">.</span><span class="n">push</span><span class="p">(</span><span class="mi">4</span><span class="p">);</span><span class="w"></span>
</code></pre></div><br>
</p>
</blockquote>
<p>I don't think that should be part of this TBH. That's useful to document, but I don't think it needs to be documented here.</p>



<a name="226834654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834654">(Feb 18 2021 at 16:08)</a>:</h4>
<p>Personally I feel like just showing the IRs is not that helpful</p>



<a name="226834660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834660">(Feb 18 2021 at 16:08)</a>:</h4>
<p>the borrow checker is strictly a <em>restriction</em></p>



<a name="226834672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834672">(Feb 18 2021 at 16:08)</a>:</h4>
<p>You can already see the IR in the playground</p>



<a name="226834677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834677">(Feb 18 2021 at 16:08)</a>:</h4>
<p>not sure what/how exactly, but definitely let's not fall in the trap of starting to write a walkthrough and ending re-writing a new rustc guide  :P</p>



<a name="226834683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834683">(Feb 18 2021 at 16:08)</a>:</h4>
<p>I want to show what is being <em>generated</em></p>



<a name="226834726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834726">(Feb 18 2021 at 16:08)</a>:</h4>
<p>Okay, I think I see what you mean</p>



<a name="226834729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834729">(Feb 18 2021 at 16:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834672">said</a>:</p>
<blockquote>
<p>You can already see the IR in the playground</p>
</blockquote>
<p>you can't see the HIR or AST, just MIR</p>



<a name="226834749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834749">(Feb 18 2021 at 16:09)</a>:</h4>
<p>so we better define the scope of this</p>



<a name="226834774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834774">(Feb 18 2021 at 16:09)</a>:</h4>
<p>Phase 1, IR generation?</p>



<a name="226834777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834777">(Feb 18 2021 at 16:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834729">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834672">said</a>:</p>
<blockquote>
<p>You can already see the IR in the playground</p>
</blockquote>
<p>you can't see the HIR or AST, just MIR</p>
</blockquote>
<p>True, but we could instructions for people to find it locally with -Z unpretty</p>



<a name="226834825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834825">(Feb 18 2021 at 16:09)</a>:</h4>
<p>I would like to show IRs + important internal state that you can't see normally</p>



<a name="226834837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834837">(Feb 18 2021 at 16:09)</a>:</h4>
<p>I like the idea of introducing TyCtx</p>



<a name="226834855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834855">(Feb 18 2021 at 16:09)</a>:</h4>
<p>Like what types have been inferred</p>



<a name="226834918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834918">(Feb 18 2021 at 16:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834825">said</a>:</p>
<blockquote>
<p>I would like to show IRs + important internal state that you can't see normally</p>
</blockquote>
<p>I like this</p>



<a name="226834932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834932">(Feb 18 2021 at 16:10)</a>:</h4>
<p>Yep. Maybe a <code>let x = 1;</code></p>



<a name="226834997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226834997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226834997">(Feb 18 2021 at 16:10)</a>:</h4>
<p>Yep, _internal state_</p>



<a name="226835001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835001">(Feb 18 2021 at 16:10)</a>:</h4>
<p>Might be easier with <code>let x = vec![1]</code> or <code>let x = [1]</code> to show type variables.</p>



<a name="226835029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835029">(Feb 18 2021 at 16:10)</a>:</h4>
<p>True :)</p>



<a name="226835054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835054">(Feb 18 2021 at 16:10)</a>:</h4>
<p>the <code>std::env::args().collect()</code> should work well, that has lots of inferred types</p>



<a name="226835067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835067">(Feb 18 2021 at 16:11)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I think you are the one who proposed this, so what scope did you have in mind?</p>



<a name="226835098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835098">(Feb 18 2021 at 16:11)</a>:</h4>
<p>my feeling is that it may be good to have a tour of the compiler from start to end driven by one (or more) example(s) and showing key structures that the compiler define and how they look like and also showing the output of these parts</p>



<a name="226835128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835128">(Feb 18 2021 at 16:11)</a>:</h4>
<p>I meant, this is up to discussion</p>



<a name="226835135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835135">(Feb 18 2021 at 16:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226835054">said</a>:</p>
<blockquote>
<p>the <code>std::env::args().collect()</code> should work well, that has lots of inferred types</p>
</blockquote>
<p>Yeah, though hopefully it wouldn't be <em>too</em> complex...</p>



<a name="226835227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835227">(Feb 18 2021 at 16:12)</a>:</h4>
<p>but my original intention was that and that's also why I've said that it may be good if we spread this through all the guide and not have just one section</p>



<a name="226835228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835228">(Feb 18 2021 at 16:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226835098">said</a>:</p>
<blockquote>
<p>my feeling is that it may be good to have a tour of the compiler from start to end driven by one (or more) example(s) and showing key structures that the compiler define and how they look like and also showing the output of these parts</p>
</blockquote>
<p>Once we discuss the scope a bit more, might be worth figuring out now what some of those structures are</p>



<a name="226835229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835229">(Feb 18 2021 at 16:12)</a>:</h4>
<p>but I'm not sure</p>



<a name="226835313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835313">(Feb 18 2021 at 16:12)</a>:</h4>
<p>I guess after we start writing and doing something it will become more clear where to place things</p>



<a name="226835316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835316">(Feb 18 2021 at 16:12)</a>:</h4>
<p>I feel like it might be easier to comprehend it all if it's all in one place</p>



<a name="226835330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835330">(Feb 18 2021 at 16:12)</a>:</h4>
<p>Plus we can always move things</p>



<a name="226835377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835377">(Feb 18 2021 at 16:12)</a>:</h4>
<p>yeah, let's start writing something as a separate chapter because it's also easier</p>



<a name="226835415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835415">(Feb 18 2021 at 16:13)</a>:</h4>
<p>We might want to  structure the work in terms of passes.</p>



<a name="226835446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835446">(Feb 18 2021 at 16:13)</a>:</h4>
<p>You mean, start with just showing IR or something?</p>



<a name="226835483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835483">(Feb 18 2021 at 16:13)</a>:</h4>
<p>We do usually use passes IIUC</p>



<a name="226835496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835496">(Feb 18 2021 at 16:13)</a>:</h4>
<p>That way you don't do everything at once</p>



<a name="226835529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835529">(Feb 18 2021 at 16:13)</a>:</h4>
<p>Does anyone else have something to say on the topic of scope? <span class="user-mention" data-user-id="261224">@triagebot</span> end-topic</p>



<a name="226835532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835532">(Feb 18 2021 at 16:13)</a>:</h4>
<p>Does anyone have something to add on the current topic?<br>
React with <span aria-label="working on it" class="emoji emoji-1f6e0" role="img" title="working on it">:working_on_it:</span> if you have something to say.<br>
React with <span aria-label="all good" class="emoji emoji-2705" role="img" title="all good">:all_good:</span> if not.</p>



<a name="226835611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835611">(Feb 18 2021 at 16:14)</a>:</h4>
<p>(we can always come back to this later too)</p>



<a name="226835662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835662">(Feb 18 2021 at 16:14)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> what does <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span> mean?</p>



<a name="226835664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835664">(Feb 18 2021 at 16:14)</a>:</h4>
<p>ok cool, let's move on then</p>



<a name="226835703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835703">(Feb 18 2021 at 16:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226835662">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> what does <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span> mean?</p>
</blockquote>
<p>Didn't know that command existed :D</p>



<a name="226835783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835783">(Feb 18 2021 at 16:15)</a>:</h4>
<p>So do we want to start getting into the details of the data structures or is there something else someone wants to discuss first?</p>



<a name="226835820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835820">(Feb 18 2021 at 16:15)</a>:</h4>
<p>this is a great question that I also have :)</p>



<a name="226835846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835846">(Feb 18 2021 at 16:15)</a>:</h4>
<p>if we're discussing internal state I would love to peek into the trait system</p>



<a name="226835850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835850">(Feb 18 2021 at 16:15)</a>:</h4>
<p>I feel like we could keep discussing this and trying to plan forever</p>



<a name="226835867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835867">(Feb 18 2021 at 16:15)</a>:</h4>
<p>I've been trying to figure out how it works for ages lol</p>



<a name="226835875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835875">(Feb 18 2021 at 16:15)</a>:</h4>
<p>but my feeling is that we should just start doing something</p>



<a name="226835913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835913">(Feb 18 2021 at 16:16)</a>:</h4>
<p>and figure out from there</p>



<a name="226835961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835961">(Feb 18 2021 at 16:16)</a>:</h4>
<p>I think that's what <span class="user-mention" data-user-id="316352">@pierwill</span> was saying</p>



<a name="226835967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226835967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226835967">(Feb 18 2021 at 16:16)</a>:</h4>
<p>I liked Joshua's list: AST, HIR, MIR, and LLVM IR</p>



<a name="226836045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836045">(Feb 18 2021 at 16:16)</a>:</h4>
<p>Yep. Yes break that list into the "passes" we discuss in the overview. (I know it's a simple exercise )</p>



<a name="226836053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836053">(Feb 18 2021 at 16:16)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226835967">said</a>:</p>
<blockquote>
<p>I liked Joshua's list: AST, HIR, MIR, and LLVM IR</p>
</blockquote>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> to this, also because I feel like we should just start, there's always time to improve or change things</p>



<a name="226836062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836062">(Feb 18 2021 at 16:16)</a>:</h4>
<p>So perhaps let's do that (AST, HIR, MIR, and LLVM IR) as a first step.</p>



<a name="226836102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836102">(Feb 18 2021 at 16:17)</a>:</h4>
<p>But since we're all here, do you still want to start planning the data structures etc.?</p>



<a name="226836112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836112">(Feb 18 2021 at 16:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226835967">said</a>:</p>
<blockquote>
<p>I liked Joshua's list: AST, HIR, MIR, and LLVM IR</p>
</blockquote>
<p>I explicitly left out assembly because I don't think it's particularly instructive compared to LLVM IR</p>



<a name="226836138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836138">(Feb 18 2021 at 16:17)</a>:</h4>
<p>right</p>



<a name="226836145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836145">(Feb 18 2021 at 16:17)</a>:</h4>
<p>Plus rustc isn't responsible for generating assembly</p>



<a name="226836179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836179">(Feb 18 2021 at 16:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226836102">said</a>:</p>
<blockquote>
<p>But since we're all here, do you still want to start planning the data structures etc.?</p>
</blockquote>
<p>what do you mean by data structures?</p>



<a name="226836194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836194">(Feb 18 2021 at 16:17)</a>:</h4>
<p>yeah let's leave that for llvm guide</p>



<a name="226836198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836198">(Feb 18 2021 at 16:17)</a>:</h4>
<p>Things like TyCtxt</p>



<a name="226836243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836243">(Feb 18 2021 at 16:18)</a>:</h4>
<p>Or things like <del>BuildReducedGraph</del> Resolver (or something similar) in resolve</p>



<a name="226836290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836290">(Feb 18 2021 at 16:18)</a>:</h4>
<p>I guess we could make a list of important data structures for each different stage</p>



<a name="226836318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836318">(Feb 18 2021 at 16:18)</a>:</h4>
<p>Phase 1: AST, HIR, MIR, and LLVM IR<br>
Phase 2: Type context, ids, dependency graphs<br>
Phase 3: borrow....</p>



<a name="226836352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836352">(Feb 18 2021 at 16:18)</a>:</h4>
<p>(Just a thought)</p>



<a name="226836355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836355">(Feb 18 2021 at 16:18)</a>:</h4>
<p>Maybe "IR transformations"</p>



<a name="226836390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836390">(Feb 18 2021 at 16:18)</a>:</h4>
<p>Like macro expansion?</p>



<a name="226836406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836406">(Feb 18 2021 at 16:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226836318">said</a>:</p>
<blockquote>
<p>Phase 1: AST, HIR, MIR, and LLVM IR<br>
Phase 2: Type context, ids, dependency graphs<br>
Phase 3: borrow....</p>
</blockquote>
<p>unsure what do you mean here?</p>



<a name="226836440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836440">(Feb 18 2021 at 16:19)</a>:</h4>
<p>Just a priority list for things to work on, really</p>



<a name="226836446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836446">(Feb 18 2021 at 16:19)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="316352">@pierwill</span> is referring to the phases of writing the chapter</p>



<a name="226836454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836454">(Feb 18 2021 at 16:19)</a>:</h4>
<p>That's the kind of thing that has a direct, visible impact</p>



<a name="226836461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836461">(Feb 18 2021 at 16:19)</a>:</h4>
<p>when you say phase, are you talking about ... ahh right :)</p>



<a name="226836478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836478">(Feb 18 2021 at 16:19)</a>:</h4>
<p>again, I don't think those things belong in the same chapter</p>



<a name="226836517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836517">(Feb 18 2021 at 16:19)</a>:</h4>
<p>let's focus for now on what <span class="user-mention" data-user-id="316352">@pierwill</span> established as Phase 1</p>



<a name="226836537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836537">(Feb 18 2021 at 16:19)</a>:</h4>
<p>If we're going to talk about <code>Resolver</code>, it should be as part of how HIR is generated</p>



<a name="226836555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836555">(Feb 18 2021 at 16:19)</a>:</h4>
<p>not a stand-alone thing</p>



<a name="226836764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836764">(Feb 18 2021 at 16:20)</a>:</h4>
<p>Rough stages:</p>
<ol>
<li>Lex</li>
<li>Parse</li>
<li>Resolve</li>
<li>Expand</li>
<li>Type-check</li>
<li>Trait-solve</li>
<li>Build MIR</li>
<li>Borrow-check (&amp; other analyses)</li>
<li>MIR-optimize</li>
<li>Codegen: LLVM or cranelift</li>
</ol>



<a name="226836780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836780">(Feb 18 2021 at 16:20)</a>:</h4>
<p>Honestly I'd love to see even <code>AST -&gt; HIR</code> to start with!</p>



<a name="226836910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226836910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226836910">(Feb 18 2021 at 16:20)</a>:</h4>
<p>Yeah, it's a big undertaking, so just 1-4 would be great</p>



<a name="226837009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837009">(Feb 18 2021 at 16:21)</a>:</h4>
<p>We might also want to show tokens as a basic "IR"</p>



<a name="226837062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837062">(Feb 18 2021 at 16:21)</a>:</h4>
<p>yeah</p>



<a name="226837085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837085">(Feb 18 2021 at 16:21)</a>:</h4>
<blockquote>
<p>Lex<br>
Parse</p>
</blockquote>
<p>IIUC these are done at the same time</p>



<a name="226837101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837101">(Feb 18 2021 at 16:21)</a>:</h4>
<p>same for resolving and expanding</p>



<a name="226837110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837110">(Feb 18 2021 at 16:21)</a>:</h4>
<p>Yeah, but they're two separate parts of the compiler</p>



<a name="226837131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837131">(Feb 18 2021 at 16:21)</a>:</h4>
<p>One drives the other, but they're still separate</p>



<a name="226837135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837135">(Feb 18 2021 at 16:21)</a>:</h4>
<p>I guess? they call between each other a lot</p>



<a name="226837164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837164">(Feb 18 2021 at 16:22)</a>:</h4>
<p>The lexer calls the parser?</p>



<a name="226837194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837194">(Feb 18 2021 at 16:22)</a>:</h4>
<p>Conceptually distinct enought, tho</p>



<a name="226837225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837225">(Feb 18 2021 at 16:22)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226837164">said</a>:</p>
<blockquote>
<p>The lexer calls the parser?</p>
</blockquote>
<p>oh sorry I was thinking about expanding and resolving</p>



<a name="226837231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837231">(Feb 18 2021 at 16:22)</a>:</h4>
<p>Just like with query system, the MIR builder is calling the type-checker</p>



<a name="226837234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837234">(Feb 18 2021 at 16:22)</a>:</h4>
<p>you're right that I think the parser is one way</p>



<a name="226837239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837239">(Feb 18 2021 at 16:22)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226837164">said</a>:</p>
<blockquote>
<p>The lexer calls the parser?</p>
</blockquote>
<p>I'd be surprised by this too</p>



<a name="226837302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837302">(Feb 18 2021 at 16:22)</a>:</h4>
<p><code>lex -&gt; parse &lt;-&gt; resolve &lt;-&gt; expand</code></p>



<a name="226837350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837350">(Feb 18 2021 at 16:23)</a>:</h4>
<p>So we could start with stages 1-4 and IRs: tokens, AST, intermediate AST for macro expansion, HIR</p>



<a name="226837361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837361">(Feb 18 2021 at 16:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834729">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226834672">said</a>:</p>
<blockquote>
<p>You can already see the IR in the playground</p>
</blockquote>
<p>you can't see the HIR or AST, just MIR</p>
</blockquote>
<p>actually it might be nice to add this to playground</p>



<a name="226837375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837375">(Feb 18 2021 at 16:23)</a>:</h4>
<p>I'll open an issue for that</p>



<a name="226837383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837383">(Feb 18 2021 at 16:23)</a>:</h4>
<p>I think people have discussed it before</p>



<a name="226837401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837401">(Feb 18 2021 at 16:23)</a>:</h4>
<p>And someone just needs to do the work of implementation</p>



<a name="226837420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837420">(Feb 18 2021 at 16:23)</a>:</h4>
<p><a href="https://github.com/integer32llc/rust-playground/issues/502">https://github.com/integer32llc/rust-playground/issues/502</a></p>



<a name="226837533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837533">(Feb 18 2021 at 16:24)</a>:</h4>
<p>I don't have time today but I would be interested in working on that</p>



<a name="226837657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837657">(Feb 18 2021 at 16:24)</a>:</h4>
<p>maybe as a way to focus our discussion a bit more</p>



<a name="226837661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837661">(Feb 18 2021 at 16:24)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226837350">said</a>:</p>
<blockquote>
<p>So we could start with stages 1-4 and IRs: tokens, AST, intermediate AST for macro expansion, HIR</p>
</blockquote>
<p>What do people think of this? Too much, too little for our first pass?</p>



<a name="226837679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837679">(Feb 18 2021 at 16:25)</a>:</h4>
<p>what if we just talk about one section that we all agree on?</p>



<a name="226837710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837710">(Feb 18 2021 at 16:25)</a>:</h4>
<p>and think of an example and discuss what do we want to show</p>



<a name="226837723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837723">(Feb 18 2021 at 16:25)</a>:</h4>
<p>and by that I meant, the concrete data structures and output and things :)</p>



<a name="226837745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837745">(Feb 18 2021 at 16:25)</a>:</h4>
<p>Yeah maybe we pick a first example program?</p>



<a name="226837799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837799">(Feb 18 2021 at 16:25)</a>:</h4>
<p>Hello world plus a variable assignement?</p>



<a name="226837801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837801">(Feb 18 2021 at 16:25)</a>:</h4>
<p>We might want to just start with hello-world if we're only dealing with lexing through expansion</p>



<a name="226837870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837870">(Feb 18 2021 at 16:26)</a>:</h4>
<p>I would like to get a macro in there somewhere</p>



<a name="226837885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837885">(Feb 18 2021 at 16:26)</a>:</h4>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="fm">println!</span><span class="p">(</span><span class="s">"Hello, world!"</span><span class="p">);</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>



<a name="226837887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837887">(Feb 18 2021 at 16:26)</a>:</h4>
<p>I'd maybe see a condition too</p>



<a name="226837908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837908">(Feb 18 2021 at 16:26)</a>:</h4>
<p>a lot of the complexity of resolve is for dealing with macros</p>



<a name="226837928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837928">(Feb 18 2021 at 16:26)</a>:</h4>
<p><code>println!</code> is a macro :)</p>



<a name="226837976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226837976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226837976">(Feb 18 2021 at 16:26)</a>:</h4>
<p>Although it is a somewhat complex one.</p>



<a name="226838036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838036">(Feb 18 2021 at 16:27)</a>:</h4>
<p>Without control flow, the part on MIR is going to be kind of empty :)</p>



<a name="226838066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838066">(Feb 18 2021 at 16:27)</a>:</h4>
<p>Yeah, but our first pass isn't going to cover MIR.</p>



<a name="226838095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838095">(Feb 18 2021 at 16:27)</a>:</h4>
<p>Oh, right, sorry</p>



<a name="226838101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838101">(Feb 18 2021 at 16:27)</a>:</h4>
<p>I guess you're suggesting that we wouldn't want to change the example too much?</p>



<a name="226838109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838109">(Feb 18 2021 at 16:27)</a>:</h4>
<p>Question: How might this chapter benefit someone who understands the basic concepts of rustc, but wants to start hacking...? Is that an intended audience?</p>



<a name="226838160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838160">(Feb 18 2021 at 16:27)</a>:</h4>
<p>Hopefully it would help them get an overview</p>



<a name="226838166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838166">(Feb 18 2021 at 16:27)</a>:</h4>
<p>(Asking for a friend <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span> )</p>



<a name="226838232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838232">(Feb 18 2021 at 16:28)</a>:</h4>
<p>Because otherwise you're kind of fumbling around in the dark</p>



<a name="226838278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838278">(Feb 18 2021 at 16:28)</a>:</h4>
<p>(I still feel that way about certain parts, like monomorphization and trait solving, as Joshua mentioned)</p>



<a name="226838319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838319">(Feb 18 2021 at 16:28)</a>:</h4>
<p>(more like most of the compiler <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span>)</p>



<a name="226838455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838455">(Feb 18 2021 at 16:29)</a>:</h4>
<p>what about using <code>matches!</code>?</p>



<a name="226838470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838470">(Feb 18 2021 at 16:29)</a>:</h4>
<p>Hmm...</p>



<a name="226838487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838487">(Feb 18 2021 at 16:29)</a>:</h4>
<p>I think this will be useful for lots of people. Thinking about specific audiences and tasks they might want to complete usually helps me, though</p>



<a name="226838511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838511">(Feb 18 2021 at 16:29)</a>:</h4>
<p>That would get us a macro and a conditional...</p>



<a name="226838536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838536">(Feb 18 2021 at 16:30)</a>:</h4>
<p>And it would be a very simple match statement to compile...</p>



<a name="226838624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838624">(Feb 18 2021 at 16:30)</a>:</h4>
<p>right</p>



<a name="226838682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838682">(Feb 18 2021 at 16:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226838487">said</a>:</p>
<blockquote>
<p>I think this will be useful for lots of people. Thinking about specific audiences and tasks they might want to complete usually helps me, though</p>
</blockquote>
<p>I think our goal is to give a bird's eye view of the compiler that is helpful in gaining a general understanding of how it works.</p>



<a name="226838880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838880">(Feb 18 2021 at 16:31)</a>:</h4>
<p>What about something like:</p>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">foo</span><span class="p">(</span><span class="n">name</span>: <span class="nb">String</span><span class="p">)</span><span class="w"> </span>-&gt; <span class="kt">bool</span> <span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="fm">matches!</span><span class="p">(</span><span class="n">name</span><span class="p">,</span><span class="w"> </span><span class="s">"Rust"</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="s">"Ferris"</span><span class="p">)</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>



<a name="226838916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838916">(Feb 18 2021 at 16:32)</a>:</h4>
<p>We don't <em>have</em> to use a binary – and it means we don't need to show the intricacies of <code>println!</code></p>



<a name="226838972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226838972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226838972">(Feb 18 2021 at 16:32)</a>:</h4>
<p>That’s a good point</p>



<a name="226839118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839118">(Feb 18 2021 at 16:32)</a>:</h4>
<p>I like it</p>



<a name="226839119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839119">(Feb 18 2021 at 16:32)</a>:</h4>
<p>What do people think about that?</p>



<a name="226839135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839135">(Feb 18 2021 at 16:32)</a>:</h4>
<p>SGTM</p>



<a name="226839161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839161">(Feb 18 2021 at 16:33)</a>:</h4>
<p>SGTM too</p>



<a name="226839221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839221">(Feb 18 2021 at 16:33)</a>:</h4>
<p>Let's just rename <code>foo</code> to <code>is_awesome</code> <span aria-label="crab" class="emoji emoji-1f980" role="img" title="crab">:crab:</span> :D</p>



<a name="226839230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839230">(Feb 18 2021 at 16:33)</a>:</h4>
<p>(and we can always add an example with a binary later on)</p>



<a name="226839255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839255">(Feb 18 2021 at 16:33)</a>:</h4>
<p>Will a goal be to demonstrate <em>how</em> one might investigate these levels in source that is not the example?  Is this summarized in the guide somewhere?</p>



<a name="226839329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839329">(Feb 18 2021 at 16:34)</a>:</h4>
<p>we can show how to generate the IR from the source as part of the chapter</p>



<a name="226839347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839347">(Feb 18 2021 at 16:34)</a>:</h4>
<p>You mean like link to a chapter with detail on the stage?</p>



<a name="226839374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839374">(Feb 18 2021 at 16:34)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226838880">said</a>:</p>
<blockquote>
<p>What about something like:</p>
<p><div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">foo</span><span class="p">(</span><span class="n">name</span>: <span class="nb">String</span><span class="p">)</span><span class="w"> </span>-&gt; <span class="kt">bool</span> <span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="fm">matches!</span><span class="p">(</span><span class="n">name</span><span class="p">,</span><span class="w"> </span><span class="s">"Rust"</span><span class="w"> </span><span class="o">|</span><span class="w"> </span><span class="s">"Ferris"</span><span class="p">)</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div><br>
</p>
</blockquote>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> I was trying to come up with something but this seems good</p>



<a name="226839385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839385">(Feb 18 2021 at 16:34)</a>:</h4>
<p>like show <code>-Z unpretty=hir</code> next to the HIR</p>



<a name="226839487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839487">(Feb 18 2021 at 16:34)</a>:</h4>
<p>Although once we start covering internal data structures, we'll probably have to get the information with debug logging or panicking.</p>



<a name="226839495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839495">(Feb 18 2021 at 16:34)</a>:</h4>
<p>we can keep adding things as we go if we feel some other construction shows something better</p>



<a name="226839595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839595">(Feb 18 2021 at 16:35)</a>:</h4>
<p>^^ yes, if I read through the chapter and want to have a look at a different source it would be nice to know how to approach it.  Link out to section in existing chapter or summarized in this one</p>



<a name="226839604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839604">(Feb 18 2021 at 16:35)</a>:</h4>
<p>I was writing an example with an if else but ... whatever :)</p>



<a name="226839644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839644">(Feb 18 2021 at 16:36)</a>:</h4>
<p>We can always add more examples later</p>



<a name="226839746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839746">(Feb 18 2021 at 16:36)</a>:</h4>
<p>We might want to keep a patched version of the compiler somewhere that dumps internal data structures</p>



<a name="226839749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839749">(Feb 18 2021 at 16:36)</a>:</h4>
<p>We could even give people good sample programs to investigate and look into as exercises</p>



<a name="226839794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839794">(Feb 18 2021 at 16:36)</a>:</h4>
<p>Yeah, but I think let's save that for a later pass</p>



<a name="226839832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839832">(Feb 18 2021 at 16:37)</a>:</h4>
<p>Totally</p>



<a name="226839873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839873">(Feb 18 2021 at 16:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226839746">said</a>:</p>
<blockquote>
<p>We might want to keep a patched version of the compiler somewhere that dumps internal data structures</p>
</blockquote>
<p>I would rather just make that a -Z flag so everyone can use it</p>



<a name="226839888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839888">(Feb 18 2021 at 16:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226839746">said</a>:</p>
<blockquote>
<p>We might want to keep a patched version of the compiler somewhere that dumps internal data structures</p>
</blockquote>
<p>...so that we can apply the patches to a recent version of the compiler without having to start from scratch</p>



<a name="226839905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839905">(Feb 18 2021 at 16:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226839873">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226839746">said</a>:</p>
<blockquote>
<p>We might want to keep a patched version of the compiler somewhere that dumps internal data structures</p>
</blockquote>
<p>I would rather just make that a -Z flag so everyone can use it</p>
</blockquote>
<p>agreed!</p>



<a name="226839938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839938">(Feb 18 2021 at 16:37)</a>:</h4>
<p>meanwhile we are at this we can add such things</p>



<a name="226839950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226839950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226839950">(Feb 18 2021 at 16:37)</a>:</h4>
<p>That sounds like a good idea</p>



<a name="226840032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840032">(Feb 18 2021 at 16:38)</a>:</h4>
<p><code>-Z dump-internal-data</code> or something</p>



<a name="226840037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840037">(Feb 18 2021 at 16:38)</a>:</h4>
<p>(we can bikeshed later)</p>



<a name="226840084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840084">(Feb 18 2021 at 16:38)</a>:</h4>
<p>This flag sounds awesome!</p>



<a name="226840093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840093">(Feb 18 2021 at 16:38)</a>:</h4>
<p>yeah, maybe one per pass or something, there's already things for MIR</p>



<a name="226840102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840102">(Feb 18 2021 at 16:38)</a>:</h4>
<p>I would love to use it myself outside of the guide</p>



<a name="226840127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840127">(Feb 18 2021 at 16:39)</a>:</h4>
<p>-Z dump-ast, etc</p>



<a name="226840168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840168">(Feb 18 2021 at 16:39)</a>:</h4>
<p>Well we can already dump the AST</p>



<a name="226840189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840189">(Feb 18 2021 at 16:39)</a>:</h4>
<p>Oops, I forgot: we can only dump the HIR</p>



<a name="226840256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840256">(Feb 18 2021 at 16:39)</a>:</h4>
<p>anyway, so more or less we have an idea about what to do</p>



<a name="226840269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840269">(Feb 18 2021 at 16:40)</a>:</h4>
<p>Slight tangent: anyone know what <code>-Z unpretty=everybody_loops</code> shows?</p>



<a name="226840277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840277">(Feb 18 2021 at 16:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840127">said</a>:</p>
<blockquote>
<p>-Z dump-ast, etc</p>
</blockquote>
<p>(bikeshed: I think <code>-Z unpretty=ast</code> would fit better)</p>



<a name="226840314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840314">(Feb 18 2021 at 16:40)</a>:</h4>
<p>how can we organize the work?</p>



<a name="226840372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840372">(Feb 18 2021 at 16:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232545">Joshua Nelson</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840277">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840127">said</a>:</p>
<blockquote>
<p>-Z dump-ast, etc</p>
</blockquote>
<p>(bikeshed: I think <code>-Z unpretty=ast</code> would fit better)</p>
</blockquote>
<p>Especially since it would be using the pretty-printer</p>



<a name="226840377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840377">(Feb 18 2021 at 16:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840269">said</a>:</p>
<blockquote>
<p>Slight tangent: anyone know what <code>-Z unpretty=everybody_loops</code> shows?</p>
</blockquote>
<p>the <code>everybody_loops</code> pass: <a href="https://blog.rust-lang.org/inside-rust/2020/09/17/stabilizing-intra-doc-links.html#hirids-and-defids-and-trees-oh-my">https://blog.rust-lang.org/inside-rust/2020/09/17/stabilizing-intra-doc-links.html#hirids-and-defids-and-trees-oh-my</a></p>



<a name="226840383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840383">(Feb 18 2021 at 16:40)</a>:</h4>
<p>Do we open issues and assign people?</p>



<a name="226840478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840478">(Feb 18 2021 at 16:41)</a>:</h4>
<p>Probably have a meta-issue and sub-issues</p>



<a name="226840480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840480">(Feb 18 2021 at 16:41)</a>:</h4>
<p>unsure :)</p>



<a name="226840491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840491">(Feb 18 2021 at 16:41)</a>:</h4>
<p>And then assign on sub-issues</p>



<a name="226840528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840528">(Feb 18 2021 at 16:41)</a>:</h4>
<p>So I might be interested in implementing <code>-Z unpretty=ast</code> and then I can be assigned on the sub-issue for that</p>



<a name="226840554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840554">(Feb 18 2021 at 16:41)</a>:</h4>
<p>Personally, I think it might make most sense for one or two people to write up a few paragraphs, and go from there</p>



<a name="226840584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840584">(Feb 18 2021 at 16:41)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840554">said</a>:</p>
<blockquote>
<p>Personally, I think it might make most sense for one or two people to write up a few paragraphs, and go from there</p>
</blockquote>
<p>I have this same feeling</p>



<a name="226840591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840591">(Feb 18 2021 at 16:41)</a>:</h4>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840554">said</a>:</p>
<blockquote>
<p>Personally, I think it might make most sense for one or two people to write up a few paragraphs, and go from there</p>
</blockquote>
<p>Yes, but there's some stuff to implement before writing</p>



<a name="226840600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840600">(Feb 18 2021 at 16:41)</a>:</h4>
<p>like it's hard to split the work until there's something up</p>



<a name="226840672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840672">(Feb 18 2021 at 16:42)</a>:</h4>
<p>Ah, true. Could certainly have a tracking issue :)</p>



<a name="226840718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840718">(Feb 18 2021 at 16:42)</a>:</h4>
<p>I can be on the hook for adding <code>unpretty=hir</code> and <code>unpretty=ast</code> to the playground</p>



<a name="226840724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840724">(Feb 18 2021 at 16:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840591">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="316352">pierwill</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840554">said</a>:</p>
<blockquote>
<p>Personally, I think it might make most sense for one or two people to write up a few paragraphs, and go from there</p>
</blockquote>
<p>Yes, but there's some stuff to implement before writing</p>
</blockquote>
<p>well I'm not sure, we can start playing with the example and structures and trying to show intermediate things</p>



<a name="226840782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840782">(Feb 18 2021 at 16:42)</a>:</h4>
<p>I might try to implement <code>Z-unpretty={ast,thir}</code></p>



<a name="226840795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840795">(Feb 18 2021 at 16:42)</a>:</h4>
<p>We could just start with showing HIR and discussing in English how the passes works (without showing internal data)</p>



<a name="226840837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840837">(Feb 18 2021 at 16:43)</a>:</h4>
<p>I could try to do parts of <code>-Z dump-internal-data</code> but I might need help</p>



<a name="226840913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226840913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226840913">(Feb 18 2021 at 16:43)</a>:</h4>
<p>different idea/approach, would people like to schedule a time, like 1h/2hs where some of us try to work on these things and share ideas?</p>



<a name="226841073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841073">(Feb 18 2021 at 16:44)</a>:</h4>
<p>I'm not sure if I can commit to another 1h/2hs, especially since most people are in a later timezone</p>



<a name="226841094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841094">(Feb 18 2021 at 16:44)</a>:</h4>
<p>I may not be suggesting the most organized ways to do things or best practices, I'm more kind of trying to de-rail everything into chaos style :)</p>



<a name="226841169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841169">(Feb 18 2021 at 16:45)</a>:</h4>
<p>yeah I would prefer to work on this when I have time, I don't think it needs to be scheduled</p>



<a name="226841189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841189">(Feb 18 2021 at 16:45)</a>:</h4>
<p>We still have 15 minutes, we could start sketching a rough draft if people want to try that.</p>



<a name="226841198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841198">(Feb 18 2021 at 16:45)</a>:</h4>
<p>I find I work slower when I'm explaining as I go</p>



<a name="226841257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841257">(Feb 18 2021 at 16:45)</a>:</h4>
<p>Yeah, we can just discuss on GitHub or async on Zulip</p>



<a name="226841283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841283">(Feb 18 2021 at 16:45)</a>:</h4>
<p>And then discuss more at our next scheduled meeting</p>



<a name="226841291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841291">(Feb 18 2021 at 16:46)</a>:</h4>
<p>seems good then</p>



<a name="226841340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841340">(Feb 18 2021 at 16:46)</a>:</h4>
<p>which is...next week!</p>



<a name="226841380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841380">(Feb 18 2021 at 16:46)</a>:</h4>
<p>(Same time?)</p>



<a name="226841411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841411">(Feb 18 2021 at 16:46)</a>:</h4>
<p>No, 9-9:30 I think</p>



<a name="226841433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841433">(Feb 18 2021 at 16:46)</a>:</h4>
<p>(oops, 9 my time)</p>



<a name="226841440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841440">(Feb 18 2021 at 16:46)</a>:</h4>
<p>nope, it starts an our later</p>



<a name="226841467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841467">(Feb 18 2021 at 16:46)</a>:</h4>
<p>Not sure I can make that. But this was fun! Nice to chat with y'all. :)</p>



<a name="226841485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841485">(Feb 18 2021 at 16:47)</a>:</h4>
<p><time datetime="2021-02-23T17:00:00Z">2021-02-23T14:00:00-03:00</time></p>



<a name="226841495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841495">(Feb 18 2021 at 16:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226841440">said</a>:</p>
<blockquote>
<p>nope, it starts an our later</p>
</blockquote>
<p>That's a better way of explaining it :)</p>



<a name="226841547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841547">(Feb 18 2021 at 16:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226841485">said</a>:</p>
<blockquote>
<p><time datetime="2021-02-23T17:00:00Z">2021-02-23T14:00:00-03:00</time></p>
</blockquote>
<p>this is even better <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="226841560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841560">(Feb 18 2021 at 16:47)</a>:</h4>
<p>ok so</p>
<h1>Action items</h1>
<ul>
<li>I work on <a href="https://github.com/integer32llc/rust-playground/issues/502">https://github.com/integer32llc/rust-playground/issues/502</a></li>
<li><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> works on -Z unpretty={ast,thir}</li>
<li><span class="user-mention" data-user-id="307537">@Camelid</span> works on -Z dump-internals</li>
</ul>



<a name="226841565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841565">(Feb 18 2021 at 16:47)</a>:</h4>
<p>does that sound good to everyone?</p>



<a name="226841592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841592">(Feb 18 2021 at 16:47)</a>:</h4>
<p>And people can start writing ideas for first pass of section</p>



<a name="226841618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841618">(Feb 18 2021 at 16:47)</a>:</h4>
<p>seems good to me</p>



<a name="226841632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841632">(Feb 18 2021 at 16:48)</a>:</h4>
<p>I would like to try out some ideas</p>



<a name="226841704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841704">(Feb 18 2021 at 16:48)</a>:</h4>
<p>Thank you <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>!</p>



<a name="226841707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841707">(Feb 18 2021 at 16:48)</a>:</h4>
<p>like more like playing with structures and things</p>



<a name="226841721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841721">(Feb 18 2021 at 16:48)</a>:</h4>
<p>Can we get someone to create the structure  in the guide? I mean just creating the outline of the sections we want to do</p>



<a name="226841727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841727">(Feb 18 2021 at 16:48)</a>:</h4>
<p>more than just literally writing a section :)</p>



<a name="226841782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841782">(Feb 18 2021 at 16:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="224872">rylev</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226841721">said</a>:</p>
<blockquote>
<p>Can we get someone to create the structure  in the guide? I mean just creating the outline of the sections we want to do</p>
</blockquote>
<p>I was suggesting that different people who are interested could come up with draft outlines and then we could mix and match</p>



<a name="226841826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841826">(Feb 18 2021 at 16:49)</a>:</h4>
<p>yeah this is my chaos style :)</p>



<a name="226841829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841829">(Feb 18 2021 at 16:49)</a>:</h4>
<p>Issue: <a href="https://github.com/rust-lang/rustc-dev-guide/issues/1062">rustc-dev-guide#1062</a></p>



<a name="226841955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226841955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226841955">(Feb 18 2021 at 16:50)</a>:</h4>
<p>Feel free to open sub-issues and edit the issue to link to them :)</p>



<a name="226842019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Simpkins <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842019">(Feb 18 2021 at 16:50)</a>:</h4>
<p>This will be a very interesting chapter.  Definitely something that I want to read.  <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span> Will try to pitch in where I can.</p>



<a name="226842183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842183">(Feb 18 2021 at 16:51)</a>:</h4>
<p>I guess the meeting is over or do someone have something else to say <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> to finish and <span aria-label="loudspeaker" class="emoji emoji-1f4e2" role="img" title="loudspeaker">:loudspeaker:</span> to speak</p>



<a name="226842219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842219">(Feb 18 2021 at 16:51)</a>:</h4>
<p><span class="user-mention" data-user-id="261224">@triagebot</span> end-meeting <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="226842222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842222">(Feb 18 2021 at 16:51)</a>:</h4>
<p>Does anyone have something to bring up?<br>
React with <span aria-label="working on it" class="emoji emoji-1f6e0" role="img" title="working on it">:working_on_it:</span> if you have something to say.<br>
React with <span aria-label="all good" class="emoji emoji-2705" role="img" title="all good">:all_good:</span> if you're ready to end the meeting.</p>



<a name="226842292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842292">(Feb 18 2021 at 16:52)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840782">said</a>:</p>
<blockquote>
<p>I might try to implement <code>Z-unpretty={ast,thir}</code></p>
</blockquote>
<p>Probably <code>thir</code> is going to be hard since it's lazily generated</p>



<a name="226842439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842439">(Feb 18 2021 at 16:53)</a>:</h4>
<p>You might want to just start with the AST since the THIR is probably not going to be touched by newcomers</p>



<a name="226842477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842477">(Feb 18 2021 at 16:53)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226842292">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="255061">Léo Lanteri Thauvin</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226840782">said</a>:</p>
<blockquote>
<p>I might try to implement <code>Z-unpretty={ast,thir}</code></p>
</blockquote>
<p>Probably <code>thir</code> is going to be hard since it's lazily generated</p>
</blockquote>
<p>I'll start with the AST anyway I think. But I will work on the THIR (implementing unsafety-checking), so I hope that'll help</p>



<a name="226842628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842628">(Feb 18 2021 at 16:54)</a>:</h4>
<p>unsafeck happens on MIR IIRC</p>



<a name="226842683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842683">(Feb 18 2021 at 16:54)</a>:</h4>
<p>it's being moved</p>



<a name="226842713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842713">(Feb 18 2021 at 16:54)</a>:</h4>
<p><a href="#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402">https://rust-lang.zulipchat.com/#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402</a></p>



<a name="226842764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842764">(Feb 18 2021 at 16:55)</a>:</h4>
<p>Ah, a recent development</p>



<a name="226842792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842792">(Feb 18 2021 at 16:55)</a>:</h4>
<p>Yes, but see <a href="https://github.com/rust-lang/compiler-team/issues/402">https://github.com/rust-lang/compiler-team/issues/402</a></p>



<a name="226842874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226842874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226842874">(Feb 18 2021 at 16:55)</a>:</h4>
<p>Good to know, thanks :)</p>



<a name="226843030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/226843030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#226843030">(Feb 18 2021 at 16:56)</a>:</h4>
<p>Okay, see you all on Tuesday! <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="227070025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/227070025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pierwill <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#227070025">(Feb 20 2021 at 06:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18/near/226841485">said</a>:</p>
<blockquote>
<p><time datetime="2021-02-23T17:00:00Z">2021-02-23T14:00:00-03:00</time></p>
</blockquote>
<p>Time zone? <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>



<a name="227072458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/227072458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#227072458">(Feb 20 2021 at 06:59)</a>:</h4>
<p>It's shown in your local time zone</p>



<a name="227072461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning%20meeting%202021.02.18/near/227072461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/planning.20meeting.202021.2E02.2E18.html#227072461">(Feb 20 2021 at 06:59)</a>:</h4>
<p>You can hover to see an absolute UTC time</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>